منابع مشابه
Towards Symbolic Factual Change in DEL
We extend symbolic model checking for Dynamic Epistemic Logic (DEL) with factual change. Our transformers provide a compact representation of action models with preand postconditions, for both S5 and the general case. The method can be implemented using binary decision diagrams and we expect it to improve model checking performance. As an example we give a symbolic representation of the Sally-A...
متن کاملSpatial and symbolic recognition of Chinese mosques
The history of Islam in China began when the first ambassador of Islamic caliphate in 654 AD, gained the court of the Chinese emperor. After that Islam has been spread throughout there during a century. In this study, authors try to study about how architectural elements and spatial forms are effected from Islam or Buddhist-Chinese tradition. Then, at the first it must be clear that which symbo...
متن کاملChange-driven Incremental Symbolic Execution of Evolving State Machines
This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven Engineering (MDE) is a model-centric software engineering approach that aims at improving the productivity and the quality of software artifacts by focusing on models as first-class artifacts in place of code. MDE has been...
متن کاملbourdieu and symbolic power
we need sociology theories, for that understand of sociology and politic problems. french sociologist pierre bourdieu's theory practice and symbolic power are our best resource; for understanding social and political fields. this article reviews the language and symbolic power; indicating its function in social and political fields. we need sociology theories, for that understand of sociol...
متن کاملArt and life embracement in a symbolic realism
Realism not only has introduced way of thinking but also has discussed a different way of expression in mid-nineteenth century in west and despite its existence has experienced new forms during its stages of development and metamorphosis. Symbolic realism has been discussed as a realistic technique in art and literature style within this through this method, realism and symbolism make contradic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annual Meeting of the Berkeley Linguistics Society
سال: 2014
ISSN: 2377-1666,0363-2946
DOI: 10.3765/bls.v9i0.2007